$\forall$$A$:Realizer. ma{-}frame{-}compat(R{-}base{-}ma($A$);R{-}base{-}ma($A$))